-
1 halting problem
проблема останова (заключающаяся в определении наличия способа, который позволит установить: остановится ли мамина Тьюринга через конечное число шагов при какой-то входной информации или же будет работать без конца?)Англо-русский словарь промышленной и научной лексики > halting problem
-
2 проблема останова
-
3 неалгоритмизированная задача
Русско-английский словарь по электронике > неалгоритмизированная задача
-
4 неалгоритмизированная задача
Русско-английский словарь по радиоэлектронике > неалгоритмизированная задача
-
5 проблема останова
Русско-английский научно-технический словарь Масловского > проблема останова
-
6 проблема остановки выполнения программы
проблема остановки выполнения программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > проблема остановки выполнения программы
-
7 программируемый останов
1. programmed halting2. programmed stop3. programmed haltсостояние останова; состояние ожидания — halted state
останов программы; программный останов — program halt
команда останова; команда приостановки — halt command
кнопка останова; кнопка "стоп" — halt key
Русско-английский большой базовый словарь > программируемый останов
-
8 условный останов
1. conditional breakpointзнак останова; знак прерывания — breakpoint symbol
условный останов; условный переход — conditional breakpoint
2. conditional halting3. conditional stop4. conditional haltкнопка останова; кнопка "стоп" — halt key
команда останова; команда приостановки — halt command
останов программы; программный останов — program halt
Русско-английский большой базовый словарь > условный останов
-
9 контрольный останов
Русско-английский большой базовый словарь > контрольный останов
-
10 остановка
f. stop, stopping, halt; задача остановки, halting problem; момент остановки, stopping time; задача об остановке, halting problemРусско-английский словарь математических терминов > остановка
-
11 остановка
* * *f. stop, stopping, halt;
задача остановки - halting problem;
момент остановки - stopping time;
задача об остановке - halting problem -
12 остановка
f.stop, stopping, halt -
13 проблема остановки
проблема остановки
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > проблема остановки
-
14 задача об остановке
Mathematics: halting problem, stopping problemУниверсальный русско-английский словарь > задача об остановке
-
15 задача остановки
Mathematics: halting problem -
16 проблема останова
Household appliances: halting problem -
17 проблема остановки
Information technology: halting problemУниверсальный русско-английский словарь > проблема остановки
-
18 сбой
1) General subject: failure, halting, upset conditions, setback, mishap2) Computers: glitch3) Colloquial: a blip (заминка, препятствие a malfunction that causes a system to stop running), a break, a glitch, a snag, stoppage4) Military: malfout (в прохождении команд), (вид отказа) short duration failure5) Engineering: error, malfunction, short-duration failure, soft error, soft failure, (процесса, технологической операции, оборудования) hick-up6) Agriculture: poaching (напр. пастбища), slaughterhouse bypass (субпродукты)8) Mathematics: malfunctioning9) Accounting: bug (в работе вычислительной техники)10) Linguistics: deviance11) Automobile industry: minor failure12) Telecommunications: disturbance13) Textile: flock, flock wool (отходы суконного производства)14) Electronics: short duration failure15) Information technology: disruption, fail, soft fault (из-за ухода значений параметров), transient error17) Food industry: head and feet set18) Ecology: overbrowsing19) Automation: abnormality, breakdown, failing, failure occurrence20) Cables: interruption21) Makarov: event, failure (кратковременный отказ оборудования)
См. также в других словарях:
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
halting problem — The fundamental decision problem in the theory of computation. It is the problem of finding whether there is an effective procedure for telling whether a Turing machine computation ever terminates, for an arbitrary input. The negative solution is … Philosophy dictionary
halting problem — noun The problem of deciding in finite time whether any program will finish running in finite time, when given a certain finite input … Wiktionary
Halting problem — … Википедия
Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any … Wikipedia
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
P versus NP problem — Unsolved problems in computer science Is P = NP ? … Wikipedia
P = NP problem — The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… … Wikipedia
Post correspondence problem — The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.[1] Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. Contents 1… … Wikipedia
Mathematical problem — A mathematical problem is a problem that is amenable to being represented, analyzed, and possibly solved, with the methods of mathematics. This can be a real world problem, such as computing the orbits of the planets in the solar system, or a… … Wikipedia
Chaitin's constant — In the computer science subfield of algorithmic information theory, a Chaitin constant or halting probability is a real number that informally represents the probability that a randomly constructed program will halt. These numbers are formed from … Wikipedia